This is TeX, WAITS Version 2.0 (preloaded format=plain 86.2.9)  24 JUN 1986 00:34
**MCDERM.
(MCDERM.[S86,JMC] (MEMO.TEX[LET,JMC]
\hours=\count25
\minutes=\count26
\temp=\count27
\ampm=\toks12
\scount=\count28
\ecount=\count29
) [1]
! You can't use `\leqno' in math mode.
<argument> ¬ab1 ⊃ a1,\leqno 
                            (1)\hfill \cr a1 ⊃ ¬a2,\leqno (2)\hfill \cr ¬ab2 ...

\displaylines ... \displaystyle ##\hfil $}\crcr #1
                                                  \crcr }
p.2,l.81 ¬ab2 ⊃ a2.\leqno(3)\hfill\cr}
                                      $$
? 
! You can't use `\leqno' in math mode.
<argument> ...leqno (1)\hfill \cr a1 ⊃ ¬a2,\leqno 
                                                  (2)\hfill \cr ¬ab2 ⊃ a2.\le...

\displaylines ... \displaystyle ##\hfil $}\crcr #1
                                                  \crcr }
p.2,l.81 ¬ab2 ⊃ a2.\leqno(3)\hfill\cr}
                                      $$
? 
! You can't use `\leqno' in math mode.
<argument> ...eqno (2)\hfill \cr ¬ab2 ⊃ a2.\leqno 
                                                  (3)\hfill \cr 
\displaylines ... \displaystyle ##\hfil $}\crcr #1
                                                  \crcr }
p.2,l.81 ¬ab2 ⊃ a2.\leqno(3)\hfill\cr}
                                      $$
? 
[2]
! You can't use `\leqno' in math mode.
<argument> a2 \hbox {:-} not a1.\leqno 
                                       (4)\hfill \cr 
\displaylines ... \displaystyle ##\hfil $}\crcr #1
                                                  \crcr }
p.2,l.128 ... \hbox{:-} not a1.\leqno(4)\hfill\cr}
                                                  $$
? 
[3]
Output written on MCDERM.DVI[S86,JMC] (3 pages, 10920 bytes).